Improve gtk-builder-convert error reporting

Make gtk-builder-convert warn when it meets duplicate ids, since
those will not work with GtkBuilder.

diff --git a/gtk/gtk-builder-convert b/gtk/gtk-builder-convert
index 470e206de13bafb2d08d6e66dfb789f88aadd77d..e1fccdbaa4ee7a54cd1b53e0e8d73ee0357c65d1 100755 (executable)
--- a/gtk/gtk-builder-convert
+++ b/gtk/gtk-builder-convert
@@ -257,6 +257,8 @@ class GtkBuilderConverter(object):
 
         for node in objects:
             self._convert(node.getAttribute("class"), node)
+            if self._get_object(node.getAttribute('id')) is not None:
+               print "WARNING: duplicate id \"" + node.getAttribute('id') + "\""
             self.objects[node.getAttribute('id')] = node
 
         # Convert Gazpachos UI tag